Examples of contrapositive proofs